-
1 общезначимое высказывание
valid sentence мат., valid statementРусско-английский научно-технический словарь Масловского > общезначимое высказывание
-
2 общезначимое высказывание
Mathematics: valid sentence, valid statementУниверсальный русско-английский словарь > общезначимое высказывание
-
3 логически общезначимое предложение
Mathematics: logically valid sentenceУниверсальный русско-английский словарь > логически общезначимое предложение
-
4 общезначимое предложение
Programming: valid sentence (в логическом программировании)Универсальный русско-английский словарь > общезначимое предложение
-
5 универсально общезначимое высказывание
Mathematics: universally valid sentenceУниверсальный русско-английский словарь > универсально общезначимое высказывание
-
6 логически общезначимое предложение
Русско-английский научно-технический словарь Масловского > логически общезначимое предложение
-
7 универсально общезначимое высказывание
Русско-английский научно-технический словарь Масловского > универсально общезначимое высказывание
-
8 законный
1. good2. valid3. warrantableразрешённый законом, имеющий законное основание — warrantable by law
4. aboveground5. constituted6. justifiable7. lawfulправомерный, законный арест — lawful arrest
8. legal; lawful; legitimate9. legitimate«законный» несчастный случай — legitimate accident
законное, правомерное притязание — legitimate claim
10. rightful11. soundСинонимический ряд:1. легальный (прил.) легальный2. легитимный (прил.) легитимный3. справедливый (прил.) праведный; правый; справедливыйАнтонимический ряд:беззаконный; незаконный; противозаконный -
9 С-180
В СИЛЕ2 PrepP Invar subj-compl with быть», оставаться ( subj: закон, приказ, приговор etc) or obj-compl with оставлять ( obj: закон, приказ, приговор etc)) (of or in refer, to a law, an order, a verdict etc) sth. is effective, is to be obeyed: оставаться \С-180 = (be (remain)) in force (be (remain)) in effect (be) valid stand applyоставлять - -uphold sth.let sth. stand.Человеческие законы цивилизации кончились. В силе были зверские (Пастернак 1). The laws of human civilization were suspended. The jungle law was in force (1a).Все выражение его лица говорило ей, что утренний разговор им не забыт, что решенье его осталось в прежней силе и что только благодаря присутствию гостей он не говорит ей этого теперь (Толстой 5). The whole expression of his face told her that he had not forgotten the morning's talk, that his decision remained in force, and only the presence of visitors hindered his speaking of it to her now (5b).О деле Норвегова кое-где узнали, прошли демонстрации, но приговор остался в силе (Соколов 1). Here and there people learned about the Norvegov case, there were demonstrations, but the sentence remained in force (1a).«Ну, пока поверим (вам). Но предупреждение мое остается в силе» (Солженицын 3). "Well, we'll believe you for now. But my warning still stands" (3a). -
10 в силе
I• В СИЛЕ[PrepP; Invar; subj-compl with быть (subj: human)]=====1. one has strength, energy, is able-bodied:- [in limited contexts] X was in his prime.♦ Вспоминал [Едигей] те дни, когда они с Казангапом были молоды и в силе... (Айтматов 2). Не [Yedigei] recalled those days when Kazangap and he had been young and in their prime (2a).2. one has authority, holds an important position:- X в силе≈ X wields (has, is in) power;- [in limited contexts] X has clout;♦ Попасть на трибуну для Канарейкина большая удача. ОО этом напечатают в газетах. Пойдёт слух, что Канарейкин еще в силе (Зиновьев 2). It was a great personal triumph for Kanareikin to be allowed to speak. The newspapers would report it. There would be a rumour that Kanareikin still wielded power (2a).♦ Ему [Петру Петровичу] надо было только поскорей и немедленно разузнать: что и как тут случилось? В силе эти люди или не в силе? Есть ли чего бояться собственно ему, или нет? (Достоевский 3). Не [Pyotr Petrovich] needed only to find out at once and quickly what went on here, and how. Did these people have any power, or did they not have any power? Was there anything for him to fear personally, or was there not? (3c).♦...Князь Андрей возобновил старые знакомства, особенно с теми лицами, которые, он знал, были в силе и могли быть нужны ему (Толстой 5)....Prince Andrei looked up old acquaintances, especially those he knew to be in power and whose aid he might need (5a).♦ "Зачем ты не сказал, что он [немец] в силе?" (Гончаров 1). "Why didn't you tell me he [the German] had influence?" (1a).♦ "Кто это?" - "Лазарев - чиновник особых поручений при министре и в большой силе" (Герцен 1). "Who is that?"..."Lazarev, a clerk of special commissions and of great influence with the Minister" (1a).II• В СИЛЕ[PrepP; Invar; subj-compl with быть, оставаться (subj: закон, приказ, приговор etc) or obj-compl with оставлять (obj: закон, приказ, приговор etc)]=====⇒ (of or in refer, to a law, an order, a verdict etc) sth. is effective, is to be obeyed:- (be < remain>) in effect;- (be) valid;- stand;- apply;- let sth. stand.♦ Человеческие законы цивилизации кончились. В силе были зверские (Пастернак 1). The laws of human civilization were suspended. The jungle law was in force (1a).♦ Все выражение его лица говорило ей, что утренний разговор им не забыт, что решенье его осталось в прежней силе и что только благодаря присутствию гостей он не говорит ей этого теперь (Толстой 5). The whole expression of his face told her that he had not forgotten the morning's talk, that his decision remained in force, and only the presence of visitors hindered his speaking of it to her now (5b).♦ О деле Норвегова кое-где узнали, прошли демонстрации, но приговор остался в силе (Соколов 1). Here and there people learned about the Norvegov case, there were demonstrations, but the sentence remained in force (1a).♦ "Ну, пока поверим [ вам]. Но предупреждение моё остаётся в силе" (Солженицын 3). "Well, we'll believe you for now. But my warning still stands" (3a).
См. также в других словарях:
Number sentence — In mathematics education, a number sentence is typically an equation or inequality expressed using numbers and common symbols. The term is used in primary level mathematics teaching in the US[1], Canada, UK[2], Australia, New Zealand[3] and South … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
Criminal Law Amendment Act, 1997 — Act to make provision for the setting aside of all sentences of death in accordance with law and their substitution by lawful punishments; to amend certain laws so as to repeal provisions relating to capital punishment; to provide for minimum… … Wikipedia
XML Schema Language Comparison — An XML schema is a description of a type of XML document, typically expressed in terms of constraints on the structure and content of documents of that type, above and beyond the basic syntax constraints imposed by XML itself. There are several… … Wikipedia
Compiler construction — is an area of computer science that deals with the theory and practice of developing programming languages and their associated compilers. The theoretical portion is primarily concerned with syntax, grammar and semantics of programming languages … Wikipedia
homicide — ho·mi·cide / hä mə ˌsīd, hō / n [Latin homicidium, from homo human being + caedere to cut, kill] 1: a person who kills another 2: the killing of one human being by another compare manslaughter, murder … Law dictionary
homicide — The killing of a human being under any circumstances by the act, agency, or omission of another. 26 Am J1st Homi § 2. The word is generic and embraces every mode by which the life of one man is taken by the act of another man. It may be lawful,… … Ballentine's law dictionary
Attempto Controlled English — (ACE) is a controlled natural language, i.e. a subset of standard English with a restricted syntax and a restricted semantics described by a small set of construction and interpretation rules [cite conference | author = Norbert E. Fuchs, Kaarel… … Wikipedia
Indian philosophy — Any of the numerous philosophical systems developed on the Indian subcontinent, including both orthodox (astika) systems, namely, the Nyaya, Vaisheshika, Samkhya, Yoga, Mimamsa, and Vedanta schools of philosophy, and unorthodox (nastika) systems … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia